Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
نویسندگان
چکیده
Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear temporal logic to arbitrary coalgebras suggested by Jacobs, and then an extension by Kurtz which includes atomic propositions too.
منابع مشابه
Reflection and preservation of properties in coalgebraic (bi)simulations Extended
Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. The notion of bisimulation is the classical one, while for simulations we use that proposed by Hughes and Jacobs. As for properties, we start by using a generalization of linear tem...
متن کاملTypes and Coalgebraic Structure
We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class of all F -coalgebras.
متن کاملBehaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs
A notion of reenement is deened in the context of coalgebraic spec-iication of classes in object-oriented languages. It tells us when objects in a \concrete" class behave exactly like (or: simulate) objects in an \abstract" class. The deenition of reenement involves certain selection functions between procedure-inputs and attribute-outputs, which gives this notion considerable exibility. The co...
متن کاملPlane Wave Reflection and Transmission from Uni- and Bi-Axial Chiral Slabs
In this paper, the propagation of electromagnetic waves through an infinite slab of uni- or bi- axial chiral medium is analytically formulated for an arbitrary incidence using 4×4 matrix method. In this powerful method, a state vector differential equation is extracted whose solution is given in terms of a transition matrix relating the tangential components of electric and magnetic fields at t...
متن کاملProduct preservation and stable units for reflections into idempotent subvarieties
We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety. It is also shown that simple and semi-left-exact reflections into subvarieties of universal algebras are the same. It then follows that a reflection of a variety of universal algebras into an idempotent subvariety has stable units...
متن کامل